First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK

Source URL: www.ai4fm.org

• Model checking
• First-order logic
• Mathematical logic
• Logic in computer science
• Formal methods
• Theory of computation

Tackling Fibonacci words puzzles by finite countermodels Alexei Lisitsa1 Department of Computer Science, The University of Liverpool

Source URL: cgi.csc.liv.ac.uk

• Mathematics
• Logic
• Mathematical logic
• Model theory
• Fibonacci numbers
• Algebraic structures
• Semigroup theory
• Fibonacci word
• First-order logic
• Semigroup
• Interpretation
• Combinatory logic

MARITIME ARCHIVES & LIBRARY INFORMATION SHEET 15 ELDER DEMPSTER & COMPANY In 1868 John Dempster went into partnership with Alexander Elder, the brother of the eminent Glasgow shipbuilder, John, to act as Liverpool agents

Source URL: www.liverpoolmuseums.org.uk

Liverpool City Centre Map - ACC Liverpool

Source URL: www.accliverpool.com

CALL FOR PAPERS COLLEGIUM FOR AFRICAN AMERICAN RESEARCH JUNE, LIVERPOOL UNITED KINGDOM MOBILISING MEMORY: CREATING AFRICAN ATLANTIC IDENTITIES Liverpool is home to one of the oldest and largest Black British c

Source URL: www.caar-web.org

IMAGE CAPTIONS A Needle Walks into a Haystack Michael Stevenson, Strategic-Level
Spiritual Warfare, 2014. Commissioned by Liverpool BiennialPhotograph by Mark McNulty. (DSC_2192) Nicola L. White Sofa, 1970–72

Source URL: www.biennial.com

  DATES ANNOUNCED FOR LIVERPOOL BIENNIAL 2016 The 9th edition of Liverpool Biennial, the UK Biennial of Contemporary Art, will take place from 9 July until 16 OctoberSally Tallant (Director, Liverpool Biennial)

Source URL: www.biennial.com

The Capstone Theatre Liverpool’s International Arts Venue Spring Season January - June 2015

Source URL: www.thecapstonetheatre.com

Verification as Specialization of Interpreters with Respect to Data Alexei P. Lisitsa1 and Andrei P. Nemytykh2? 1 Department of Computer Science, The University of Liverpool

Source URL: meta2008.pereslavl.ru

SCAN is complete for all Sahlqvist formulae? V. Goranko1, U. Hustadt2 , R. A. Schmidt3 and D. Vakarelov4 1 Rand Afrikaans University, South Africa University of Liverpool, UK,

Source URL: www.cs.man.ac.uk